Trefferliste "Proof Theory" - alle Bücher, CDs und LPs

Krishna Suryanarayan

Formal Proofs in Elementary Set Theory

The book gives a summary of the rules of logic required to write formal proofs. The book gives formal proofs for theorems in elementary set theory based on Zermelo axioms. The book includes a proof of the…

Cutthroat

The Purge

Dorota Leszczy¿ska-Jasion

The Method of Socratic Proofs

This book contains a systematic and formal attempt to model solutions to problems such as: Is it possible to prove a question? Is it possible to prove something by the use of questions? Do the existing pa…

Cutthroat

The Purge (Limited Edition) (Orange/Blue Merge Vinyl)

Ralph Gregory Taylor

Logic and Fixed-Domain Reasoning

The author develops, incrementally over the course of several chapters, related concepts of logical system over fixed domain, both classical and nonclassical, by means of pragmatism-inspired translations …

Robert Gilbert Henry

Formal Scientific Proof of the Existence of God through Calculus - Mathematical Philosophy and Philosophy of Grammar

How Is Knowledge Actually Created? Not through majorities. Not through authority. But through clear concepts and logically traceable arguments. With this fundamental idea, Robert Gilbert Henry takes the r…

Proof Assistants and Their Applications in Mathematics and Computer Science

Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking. Today they are used to verify operating systems, c…

De Volson Wood

Treatise on the Theory of the Construction of Bridges and Roofs

Reprint of the original, first published in 1873. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

De Volson Wood

Treatise on the Theory of the Construction of Bridges and Roofs

Reprint of the original, first published in 1873. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

De Volson Wood

Treatise on the Theory of the Construction of Bridges and Roofs. Illustrated with Numerous Wood Engravings

Reprint of the original, first published in 1883. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

De Volson Wood

Treatise on the Theory of the Construction of Bridges and Roofs. Illustrated with Numerous Wood Engravings

Reprint of the original, first published in 1883. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

Fates Warning

Theories Of Flight (Limited Edition) (Colored Vinyl)

Das 2024 erschienene Album der Progressive-Metal-Pioniere Gute Neuigkeiten von den US-amerikanischen Progressive Metalern Fates Warning. 2016 gehen sie mit ihrem mittlerweile zwölften Studioalbum an de…

Burkard Polster

Qed

Which famous proof did Archimedes inscribe on his tombstone? How and why do knots make perfect pentagons? Have you ever seen a proof so complete that it is just obvious?In this delicious little book, top …

Robert Gilbert Henry

Formal Scientific Proof of the Existence of God through Calculus - Mathematical Philosophy and Philosophy of Grammar

How Is Knowledge Actually Created? Not through majorities. Not through authority. But through clear concepts and logically traceable arguments. With this fundamental idea, Robert Gilbert Henry takes the r…

Maximus - The Greatest Movie Soundtracks for Piano and Orchestra

Maksym Rzeminski, Radom Chamber Orchestra, Dawid Runtz

Ralph Gregory Taylor

Logic and Fixed-Domain Reasoning

The author provides solutions to all the more challenging exercises in Ralph Gregory Taylor, Logic and Fixed-Domain Reasoning, Volume 1:An Empirico-Pragmatist Model Theory and Proof Theory. Suppressed det…

Neil Tennant

Logic. A Primer

This introduction to formal logic is for students of Philosophy, Mathematics, Computer Science, and/or Linguistics. Philosophically sensitive, historically and linguistically informed, and mathematically …

Exploring Negation, Modality and Proof

This book brings together contributions from philosophers interested in logic and logicians with a philosophical orientation to address a variety of logical and philosophical topics of current interest, i…

Theory and Applications of Models of Computation

This book constitutes the proceedings of the 19th Annual Conference on Theory and Applications of Models of Computation, TAMC 2025, which was held in Jinan, China, during September 19--21, 2025.The 32 pap…